Mathematicians Naming Their Theorems